void printf_commit()
{
	printf("commit\n");
	return;
}